FORTRANプログラム④ プログラムの証明